Partially additive categories and flow-diagram semantics
نویسندگان
چکیده
منابع مشابه
Abelian categories and definable additive categories
2 The category of small abelian categories and exact functors 4 2.1 Categorical properties of ABEX . . . . . . . . . . . . . . . . . . . 5 2.2 Pullbacks in ABEX . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 ABEX is finitely accessible . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Abelian categories as schemes . . . . . . . . . . . . . . . . . . . . 16 2.4.1 The functor of point...
متن کاملThe Availability Semantics of Predicate Data Flow Diagram
The core of the SOZL(structured methodology + object-oriented methodology + Z language) is Predicate Data Flow Diagram. In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams are necessary. In this paper we use Z notation to define an abstract syntax and the rela...
متن کاملCategories of imaginaries for definable additive categories
An additive category is definable if it is equivalent to a definable subcategory of a module category Mod-R, meaning a full subcategory which is closed under direct products, direct limits (= directed colimits) and pure subobjects. Such a category D has associated to it a canonical model theory for its objects in the sense that each object D ∈ D becomes a structure for the associated language; ...
متن کاملDefinable Additive Categories
This is essentially the talk I gave on definable additive categories; I define these categories, say where they came from, describe some of what is around them and then point out the 2-category which
متن کاملCategories of Motives for Additive Categories. Ii
This is a continuation of the paper by the same author published in this journal, v. 19 (2007), no. 6. This paper is a continuation of the paper [4] and makes a whole with it. We retain the notation, the definitions, and the assumptions of [4], and we continue the numeration of sections, theorems and lemmas. The proofs of Theorems 2–4 in §6 of [4] were in fact missing; it was said only that one...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1980
ISSN: 0021-8693
DOI: 10.1016/0021-8693(80)90212-4